x86: Cache read of cpu_state in __cpu_die() for subsequent BUG_ON check.
authorKeir Fraser <keir@xen.org>
Sat, 5 Mar 2011 16:02:33 +0000 (16:02 +0000)
committerKeir Fraser <keir@xen.org>
Sat, 5 Mar 2011 16:02:33 +0000 (16:02 +0000)
commite63aa7c25bcad93030b276c5fce6df175f4c4dd6
tree3d369bc91212efcb6466e30f68bb6ce33339912b
parente00d02009db149c6b9ee52da9d0907e9fe362a23
x86: Cache read of cpu_state in __cpu_die() for subsequent BUG_ON check.

Otherwise compiler may re-read cpu_state for the BUG_ON and see a
modified value causing erroneous BUG.

Signed-off-by: Keir Fraser <keir@xen.org>
Signed-off-by: Liu, Jinsong <jinsong.liu@intel.com>
xen/arch/x86/smpboot.c